Application of Bhave Toolset for System Control and Electronic System Design
نویسندگان
چکیده
Behavioural Hybrid Process Calculus (BHPC) is a formalism for modelling and analysis of hybrid systems combining process algebras and the behavioural approach for modelling of instantaneous changes and continuous evolution. BHPC is supported by Bhave toolset, containing a tool for a novel way of visualisation of hybrid systems simulations msp-svg and a new version of hybrid simulator. We present the latest developments of Bhave toolset and apply it for case studies of system control and mixed-signal systems design.
منابع مشابه
Nursing Satisfaction with Medication Care by Using Neonatal Electronic Medication Management Systems
Background: Medication management is a complex process with multiple stages that involves different health care teams. Based on the evidence, an electronic medication management system offers significant benefits, such as reduced medication errors, improved conformity, enhanced time and cost efficiency, and increased patient safety. This study aimed to design and implement an electronic medicat...
متن کاملApplication of ANN Technique for Interconnected Power System Load Frequency Control (RESEARCH NOTE)
This paper describes an application of Artificial Neural Networks (ANN) to Load Frequency Control (LFC) of nonlinear power systems. Power systems, such as other industrial processes, have parametric uncertainties that for controller design had to take the uncertainties in to account. For this reason, in the design of LFC controller the idea of robust control theories are being used. To improve ...
متن کاملFlexible Power Electronic Transformer for Power Flow Control Applications
This paper proposes a Flexible Power Electronic Transformer (FPET) for the application in the micro-grids. The low frequency transformer is usually used at the Point of Common Coupling (PCC) to connect the low voltage grid and utility network to each other. The conventional 50Hz transformer results in enhanced low voltage-grid power management system during grid-connected operation. In this pap...
متن کاملApplication of SVC on Large Synchronous Motors Based on LOC Design (RESEARCH NOTE)
This paper describes the application of static var compensators, (SVC) on an electrical distribution network containing two large synchronous motors, one of which is excited via a three-phase thyristor bridge rectifier. The second machine is excited via a diode bridge rectifier. Based on linear optimization control (LOC), the measurable feedback signals are applied to the control system loops o...
متن کاملPower Allocation Strategies for MIMO Radar Waveform Design
The role of waveform design is central to effective radar resource management for state-of-the art radar systems. The waveform shape employed by any radar system has always been a key factor in determining the performance and application. The design of radar waveform to minimize mean square error (MSE) in estimating the target impulse response is based on power allocation using waterfilling. ...
متن کامل